int problem_76();
